($\lambda$$n$,$i$,$z$. choose($n$;$i$)) $\in$ $n$:$\mathbb{N}\rightarrow$\{0$\ldots\,$$n$\}$\rightarrow$($\downarrow$True)$\rightarrow\mathbb{N}$